Cognitive-behavioral therapy for smoking cessation